David France

Results: 245



#Item
51From Computationally-proved Protocol Specifications to Implementations David Cad´e and Bruno Blanchet ´ Ecole Normale Sup´erieure, CNRS, INRIA, Paris, France {cade,blanchet}@di.ens.fr

From Computationally-proved Protocol Specifications to Implementations David Cad´e and Bruno Blanchet ´ Ecole Normale Sup´erieure, CNRS, INRIA, Paris, France {cade,blanchet}@di.ens.fr

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2012-09-27 12:25:52
    52Ballot secrecy and ballot independence: definitions and relations Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France

    Ballot secrecy and ballot independence: definitions and relations Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France

    Add to Reading List

    Source URL: www.bensmyth.com

    Language: English - Date: 2014-10-15 10:33:36
      53Program chairs Uli Fahrenberg, Rennes, France Stavros Tripakis, Berkeley, United States Organization chair Alexandre David, Aalborg, Denmark

      Program chairs Uli Fahrenberg, Rennes, France Stavros Tripakis, Berkeley, United States Organization chair Alexandre David, Aalborg, Denmark

      Add to Reading List

      Source URL: formats2011.cs.aau.dk

      Language: English - Date: 2011-11-04 06:30:15
        54Tensor Field Visualization with PDE’s and Application to DT-MRI Fiber Visualization David Tschumperl´e Rachid Deriche INRIA Sophia-Antipolis, Odyss´ee Lab 2004 Rte des Lucioles, BP93, 06902 Sophia-Antipolis, France e

        Tensor Field Visualization with PDE’s and Application to DT-MRI Fiber Visualization David Tschumperl´e Rachid Deriche INRIA Sophia-Antipolis, Odyss´ee Lab 2004 Rte des Lucioles, BP93, 06902 Sophia-Antipolis, France e

        Add to Reading List

        Source URL: tschumperle.users.greyc.fr

        Language: English - Date: 2012-07-10 12:51:27
          55PDE’s on the Space of Patches for Image Denoising and Registration David Tschumperlé⋆ - Luc Brun⋆ Patch-based Image Representation, Manifolds and Sparsity, Rennes/France, April 2009.

          PDE’s on the Space of Patches for Image Denoising and Registration David Tschumperlé⋆ - Luc Brun⋆ Patch-based Image Representation, Manifolds and Sparsity, Rennes/France, April 2009.

          Add to Reading List

          Source URL: tschumperle.users.greyc.fr

          Language: English - Date: 2012-07-10 12:32:48
            56Provably Authenticated Group Diffie-Hellman Key Exchange – The Dynamic Case Emmanuel Bresson1 , Olivier Chevassut2,3? , and David Pointcheval1 ´ Ecole Normale Sup´erieure, 75230 Paris Cedex 05, France

            Provably Authenticated Group Diffie-Hellman Key Exchange – The Dynamic Case Emmanuel Bresson1 , Olivier Chevassut2,3? , and David Pointcheval1 ´ Ecole Normale Sup´erieure, 75230 Paris Cedex 05, France

            Add to Reading List

            Source URL: www.iacr.org

            Language: English - Date: 2006-12-12 19:25:24
              57Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

              Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

              Add to Reading List

              Source URL: www.lix.polytechnique.fr

              Language: English - Date: 2007-08-02 03:39:16
                58LIC-BASED REGULARIZATION OF MULTI-VALUED IMAGES David Tschumperl´e Image Team / GREYC (UMR CNRSBd du Mar´echal Juin, 14050 Caen Cedex. France ABSTRACT In this paper, a general multi-valued image regularization

                LIC-BASED REGULARIZATION OF MULTI-VALUED IMAGES David Tschumperl´e Image Team / GREYC (UMR CNRSBd du Mar´echal Juin, 14050 Caen Cedex. France ABSTRACT In this paper, a general multi-valued image regularization

                Add to Reading List

                Source URL: tschumperle.users.greyc.fr

                Language: English - Date: 2012-07-10 12:38:38
                  59Efficient Computation of PDF-Based Characteristics from Diffusion MR Signal Haz-Edine Assemlal, David Tschumperl´e, and Luc Brun GREYC (CNRS UMR 6072), 6 Bd Mar´echal Juin, 14050 Caen Cedex, France Abstract. We pres

                  Efficient Computation of PDF-Based Characteristics from Diffusion MR Signal Haz-Edine Assemlal, David Tschumperl´e, and Luc Brun GREYC (CNRS UMR 6072), 6 Bd Mar´echal Juin, 14050 Caen Cedex, France Abstract. We pres

                  Add to Reading List

                  Source URL: tschumperle.users.greyc.fr

                  Language: English - Date: 2012-07-10 12:53:08
                    60INAUGURAL ARTICLE Identifying barriers to Muslim integration in France Claire L. Adidaa, David D. Laitinb,1, and Marie-Anne Valfortc a Department of Political Science, University of California at San Diego, La Jolla, CA

                    INAUGURAL ARTICLE Identifying barriers to Muslim integration in France Claire L. Adidaa, David D. Laitinb,1, and Marie-Anne Valfortc a Department of Political Science, University of California at San Diego, La Jolla, CA

                    Add to Reading List

                    Source URL: claire.adida.net

                    Language: English - Date: 2014-10-22 14:20:41